Visits of International Scientists

Joost-Pieter Katoen, Aachen, spent two weeks with MEXICO.

Internships

Aalok Thakkar, 2nd year student from CMI (India), did a two-month research internship on 'Semantics of Mutation Dynamics' under the supervision of Stefan Haar, from May 2nd to July 21st, 2017.

Visits to International Teams